Theoretical Foundations of Value Withdrawal Explanations for Domain Reduction

Theoretical Foundations of Value Withdrawal Explanations for Domain Reduction

Solvers on finite domains use local consistency notions to remove values from the domains. This paper defines value withdrawal explanations. Domain reduction is formalized with chaotic iterations of monotonic operators. To each operator is associated its dual which will be described by a set of rules. For classical consistency notions, there exists a natural such system of rules. They express v...

Value withdrawal explanations: a theoretical tool for programming environments

Constraint logic programming combines declarativity and efciency thanks to constraint solvers implemented for speci c domains. Value withdrawal explanations have been e ciently used in several constraints programming environments but there does not exist any formalization of them. This paper is an attempt to ll this lack. Furthermore, we hope that this theoretical tool could help to validate so...

Theoretical Explanations 1 RUNNING HEAD: THEORETICAL EXPLANATIONS Strengths and limitations of theoretical explanations in psychology

Theoretical Foundations

This chapter addresses the theoretical foundations for research in educational communications and technology. Four relevant areas are explored: (1) the psychology of learning, (2) communications theory, (3) human–computer interaction, and (4) instructional design and development. Past work in these four areas can be viewed as providing a theoretical foundation for further research and developme...

Theoretical Foundations for Greedy Methods